Digital library of construction informatics and information technology in civil engineering and construction
 
ITC
Digital library
SciX
Tower of Babel
Home All papers Browse by series Browse by authors Browse by keywords Browse by years
Papers with keyword model checking:
Year Paper
Year Paper
2011 E Hjelseth, N Nisbet (2011). Capturing normative constraints by use of the semantic mark-up RASE methodology. Proceedings of the 28th International Conference of CIB W78, Sophia Antipolis, France, 26-28 October
2010 Eilif Hjelseth, Nick Nisbet (2010). Exploring Semantic Based Model Checking. CIB W78 2010 - Applications of IT in the AEC Industry
hosted by University of Ljubljana University of Ljubljana
includes:

CIB
W78

ECCE

ITcon
© itc.scix.net
inspired by SciX, ported by Robert Klinc [2019]